1. Reflections on the Work of C.A.R. Hoare
Author: / A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
2. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
Author: edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L4
v
.
197
3. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
Author: edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
197
4. The modelling and analysis of security protocols :
Author: P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols,Computer networks-- Security measures,Computer security-- Mathematical models,Computer software-- Verification,Computers-- Access control,Cryptography
Classification :
TK5105
.
59
.
R93
2001
5. Topology and category theory in computer science
Author: edited by G. M. Reed, A. W. Roscoe and R. F. Wachter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Topology,، Categories )Mathematics(
Classification :
QA
76
.
9
.
M35T66
1991
6. Understanding Concurrent Systems
Author: / A.W. Roscoe
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
7. Understanding concurrent systems
Author: A.W. Roscoe
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
8. Understanding concurrent systems
Author: / A.W. Roscoe
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Parallel processing (Electronic computers)
Classification :
QA76
.
58
.
R67
2010
9. Understanding concurrent systems /
Author: A.W. Roscoe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers)
Classification :
QA76
.
58
.
R67
2010eb
